1. Specification and Verification of Declarative Open Interaction Models
پدیدآورنده: / Marco Montali
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع: COMPUTER SCIENCE, INFORMATION TECHNOLOGY|COMPUTER SCIENCE, SOFTWARE ENGINEERING
رده :
E-BOOK
2. Specification and verification of declarative open interaction models :
پدیدآورنده: Marco Montali
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبانهای اروپایی (قم)
موضوع: Computational intelligence,Computer logic,Declarative programming languages,Information technology,Management information systems,Business
رده :
QA76
.
9
.
L63
M66
2010
